$\forall$$g$:OCMon, $a$, $b$:$\mid$$g$$\mid$. ($a$ $\leq$ $b$) $\Rightarrow$ ($b$ $\leq$ $a$) $\Rightarrow$ ($a$ = $b$)